Stefantsov D. A., Zhukovskaya A. O. «Development of automated means for proving programs properties» // Applied Discrete Mathematics 2014. №7 (Приложение) C.148-150
Zhukovskaya A. O., Stefantsov D. A. «Development of automated means for proving programs properties» // 2014. №7 C.148-150
